中英
1
propositional formula中文是什么意思
- 中文翻譯
- 造句
- 命題公式
- formula n. (pl. formulas, -lae ) 1.公 ...
- formula of propositional logic 命題邏輯公式
- propositional 建議的; 提議的; 主張的
- propositional act 命題行為
- propositional algebra 命題代數
- propositional calculus 句子邏輯; 命題邏輯; 命題演算
- propositional connective 命題聯結詞
- propositional constant 命題常數
- propositional content 命題內容
- propositional form 命題的形式
- propositional function 命題函數
- propositional indicator 命題指示成分
- propositional inference 命題推演
- propositional knowledge 陳述性知識; 命題性知識
- propositional law 命題定律
- propositional learning 命題學習
- propositional letter 命題字母
- propositional logic 命題邏輯
- propositional network 命題網絡
- propositional representation 命題表征
- propositional symbol 命題符號
- propositional thinking 判斷性思維
- propositional tree 命題樹
- propositional variable 命題變量; 命題變元
- by formula 按公式
- For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning
提出了一個新的直接搜索算法，它使用了在sat問題中行之有效的沖突分析和學習機制。 - Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取范式和主合取范式的自動生成算法，并實現了多個命題公式主范式的同時形式化輸出。 - Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類型的判定算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.
詳細百科解釋
- 推薦英語閱讀
propositional formula的中文翻譯，propositional formula是什么意思，怎么用漢語翻譯propositional formula，propositional formula的中文意思，propositional formula的中文，propositional formula in Chinese，propositional formula的中文，propositional formula怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。
關于我們
